Methods to Access and Retrieve Mathematical Content in ActiveMath
نویسندگان
چکیده
This article describes how mathematical content items and formulæ are processed, retrieved, and accessed in ActiveMath. Central to the retrieval and access is a search tool which allows for searching text, attributes, relations and formulæ, and presenting items. The search tool has been evaluated according to the standard measures of precision and recall as well as for usability. We report results of these evaluations.
منابع مشابه
ActiveMath: A Generic and Adaptive Web-Based Learning Environment
ActiveMath is a generic web-based learning system that dynamically generates interactive (mathematical) courses adapted to the student’s goals, preferences, capabilities, and knowledge. The content is represented in an semantic xml-based format. For each user, the appropriate content is retrieved from a knowledge base and the course is generated individually according to pedagogical rules. Then...
متن کاملIntegrated Semantic Math I/O in ActiveMath, an Evaluation
The ActiveMath system is a web-based learning environment that integrates static mathematical content and interactive exercises with evaluated mathematical input from learners. Mathematical formulæ in ActiveMath are encoded in OpenMath and presented with regional notations. Users can input formulæ using the same notations via a formula editor or using plain-text input. Input to the editor is as...
متن کاملIntegration of Mathematical Systems into the ActiveMath Learning Environment
In Saarbrücken we are developing the web-based, user-adaptive, interactive learning environment ActiveMath. Currently, its major features are user-adapted content, sequencing, and presentation, support of active and explorative learning by mathematical systems, support of teachers by information about their students, and a semantic encoding of content that is the basis for reusability. This art...
متن کاملSemantic-Aware Components and Services of ACTIVEMATH
ActiveMath is a complex Web-based adaptive learning environment with a number of components and interactive learning tools. The basis for handling semantics of learning content is provided by its semantic (mathematics) content markup which is additionally annotated with educational metadata. Several components, tools, and external services can make use of that content markup, for instance a cou...
متن کاملSmart Pasting for ActiveMath Authoring
Authoring mathematical formulæ for ActiveMath is a challenge because it requires them to be semantic, along the OpenMath standard and (extensible) set of symbols. The authoring environment of ActiveMath, jEditOQMath eases this by providing a readable linear syntax for formulæ input based on QMath. This paper approaches the support to authors to encode formulæ by bringing together several types ...
متن کامل